home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 090 / prolog1.arc / ALESS.PRO next >
Encoding:
Text File  |  1984-12-13  |  256 b   |  8 lines
  1. /* Ask ?-aless( 2, 3 ). Get: Yes.
  2.    Ask ?-aless( 3, 2 ). Get: No. */
  3.  
  4.  
  5. aless( X, Y ) :- name( X, L ), name( Y, M ), alessx( L, M ).
  6. alessx( [], [_|_] ).
  7. alessx( [X|_], [Y|_] ) :- X < Y.
  8. alessx( [P|Q], [R|S] ) :- P = R, alessx( Q, S ).